Semantics of programming languages

A virtual class calculus

Static Analysis / Polymorphism / Higher Order Thinking / Semantics of programming languages / Operational Semantics / Large Scale / Object Oriented / Large Scale / Object Oriented